Works by Sh^|^Ocirc Maehara

( view other items matching `Sh^|^Ocirc Maehara`, view all matches )
6 found
Order:
  1.  25
    A General Theory of Completeness Proofs.Sh^|^Ocirc Maehara & Ji - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):242-256.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  2.  6
    Calculabilit^|^eacute; des Fonctionnelles R^|^eacute;cursives Primitives de Type Fini sur les Nombres Naturels.Yoshito Hanatani, Sh^|^Ocirc Maehara & Ji - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):19-30.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  11
    A System of Simple Type Theory with Type Variables.Sh^|^Ocirc Maehara & Ji - 1969 - Annals of the Japan Association for Philosophy of Science 3 (4):131-137.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types Which Admits Quantifications on Types.Sh^|^Ocirc Maehara & Ji - 1962 - Annals of the Japan Association for Philosophy of Science 2 (2):55-64.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  12
    General Recursive Functions in the Number-Theoretic Formal System.Sh^|^Ocirc Maehara & Ji - 1957 - Annals of the Japan Association for Philosophy of Science 1 (2):119-130.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  21
    Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark